Introducing the quantum IO monad:
Alexander Green, The Quantum IO Monad, Nottingham (2007) [pdf, pdf ]
Thorsten Altenkirch, Alexander Green, The quantum IO monad, Ch. 5 of: Simon Gay, Ian Mackie (eds.): Semantic Techniques in Quantum Computation (2010) 173-205 [pdf, doi:10.1017/CBO9781139193313.006]
Implementation in Haskell:
On formally verified quantum programming languages like QML:
Introducing the functional quantum programming language Quipper:
Alexander Green, Peter LeFanu Lumsdaine, Neil Ross, Peter Selinger, Benoît Valiron, Quipper: A Scalable Quantum Programming Language, ACM SIGPLAN Notices 48(6):333-342, 2013 (arXiv:1304.3390)
Alexander Green, Peter LeFanu Lumsdaine, Neil Ross, Peter Selinger, Benoît Valiron, An Introduction to Quantum Programming in Quipper, Lecture Notes in Computer Science 7948:110-124, Springer, 2013 (arXiv:1304.5485)
Last revised on September 11, 2023 at 12:22:35. See the history of this page for a list of all contributions to it.